Search
Feedback
About
Help
News
| Listing 1 - 10 of 16 | << page >> |
Sort by
|
Book
Year: 2011 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Program verification (computers) --- Formalism. --- Ethernet. --- Fault tolerance. --- Algorithms. --- Design analysis.
Book
Year: 2015 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Program verification (computers) --- Rational functions. --- Polynomials. --- Software engineering. --- Heuristic methods.
Book
Year: 2005 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Complex systems. --- Program verification (computers) --- Synchronism. --- Proving. --- Computers.
Book
Year: 2011 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Program verification (computers) --- Specifications. --- Approach control. --- Data flow analysis. --- Algorithms. --- Parallel programming.
Book
Year: 2010 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Air traffic. --- Safety factors. --- Program verification (computers) --- Systems engineering. --- Avionics. --- Civil aviation. --- Commercial aircraft.
Book
Year: 1988 Publisher: [Washington, D.C.] : [National Aeronautics and Space Administration],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1988 Publisher: Washington, D.C. : National Aeronautics and Space Administration, Information Management Division,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Calibrating. --- Data acquisition. --- Data processing. --- Mission planning. --- Program verification (computers) --- Real time operation.
Book
Year: 1985 Publisher: Stanford, Calif. : [Washington, D.C.]: Center for Reliable Computing, Stanford University ; [National Aeronautics and Space Administration],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programs. --- Digital command systems. --- Error detection codes. --- Flight control. --- Flight tests. --- Program verification (computers)
Book
Year: 1997 Publisher: Cleveland, Ohio : NASA Lewis Research Center and U.S. Army Research Laboratory,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 2017 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Certification. --- Computer programs. --- Program verification (computers) --- Software development tools. --- Software engineering.
| Listing 1 - 10 of 16 | << page >> |
Sort by
|